Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
461	PDF Document Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2009-02-26 12:09:14 Automated theorem proving Propositional calculus Condensed detachment Axiom Mathematical proof Theorem Substitution Logic Mathematics Mathematical logic
462	PDF Document Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:05 Logic Ordinal numbers Ordinal analysis Gerhard Gentzen Cut-elimination theorem Natural deduction Limit ordinal Sequent calculus Constructible universe Mathematical logic Mathematics Proof theory
463	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
464	PDF Document Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2005-08-11 11:31:05 Infinity Mathematics education Mathematical series Addition Gottfried Leibniz Geometric series Actual infinity Mathematical proof Epistemology Mathematics Philosophy of mathematics Calculus
465	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
466	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:35:40 Proof theory Philosophical logic Deduction Lambda calculus Model theory Natural deduction Curry–Howard correspondence Entailment Modal logic Logic Mathematical logic Mathematics
467	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics
468	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-26 10:21:13 Function Mathematical proof Finitary relation Equivalence relation Boolean algebra Mathematical induction Binary relation Well-founded relation Propositional calculus Mathematics Logic Mathematical logic
469	PDF Document Add to Reading List Source URL: scipp.ucsc.edu Language: English - Date: 2009-12-20 06:37:33 Mathematical series Harmonic series Integral test for convergence Mathematical proof Series Mathematical fallacy Divergence of the sum of the reciprocals of the primes Proof that π is irrational Mathematics Mathematical analysis Calculus
470	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-02-26 23:28:44 Lambda calculus Logic in computer science Proof theory Combinatory logic Type theory Curry–Howard correspondence Free variables and bound variables Function Natural deduction Mathematics Theoretical computer science Mathematical logic